Prüfung zweier Geheimmittel

Compilezeit-Prüfung von Spring-Konfigurationen

Dependency Injection Frameworks wie das Spring Framework verlassen sich auf dynamische Sprachfähigkeiten von Java. Sofern diese Fähigkeiten auf unvorhergesehene Art und Weise eingesetzt werden, können Fehler auftreten, die zur Übersetzungszeit nicht vom Java-Compiler erkannt werden. Diese Arbeit diskutiert die Anwendung von statischer Programmcode-Analyse als Mittel, besagte ÜbersetzungszeitPrü...

Temporale Prüfung von Software-Funktionen

Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf Normenkonformität

Um Software verantwortungsbewusst in den Markt zu bringen, muss sie ebenso wie andere Produkte dem Stand der Technik entsprechen. Das zwingt zur Arbeit mit Normen, z.B. der IEC 61508 oder ISO 26262, denn sie repräsentieren diesen Stand der Technik, insbesondere für sicherheitsgerichtete Software. Den Normen gerecht zu werden bedeutet, die für eine Arbeit zutreffenden Normenanforderungen zu iden...

Datum der mündlichen Prüfung: 21.10.2009- 1- INHALTSVERZEICHNIS

Force-based ligand detection is a promising method to characterize molecular complexes label-free at physiological conditions. Because conventional implementations of this technique, e.g., based on atomic force microscopy or optical traps, are low-throughput and require extremely sensitive and sophisticated equipment, this approach has to date found only limited application. We present a low-co...

Entwicklung eines internetgestützten Expertensystems zur Prüfung des Anwendungsbereichs urheberrechtlicher Abkommen

zum Vortrag von Dr. Arndt Bohrer [email protected] Entwicklung eines internetgestützten Expertensystems zur Prüfung des Anwendungsbereichs urheberrechtlicher Abkommen In dem Vortrag soll ein juristisches Expertensystem vorgestellt und dessen Entwicklung beschrieben werden. Es handelt sich um ein Expertensystem zur Prüfung des Anwendungsbereichs der urheberrechtlichen Abkommen RBÜ, RA, TRIPS, ...